Efficient Volume Computation for SMT Formulas
arxiv.org·3h
🧮SMT Solvers
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·7h·
Discuss: Hacker News
✅Format Verification
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·19h
🔲Cellular Automata
An unusual hardware architecture: APA (Associative Processing Array)
yosefk.com·16h
⚡Homebrew CPUs
Using sound to remember quantum information 30 times longer
phys.org·14h
⚛️Quantum Tape
Turing is king
blogger.com·1d
🔧Hardware Verification
DavidFest: A Pseudorandomness Workshop in Austin
cstheory-events.org·9h
🔢Bitwise Algorithms
Linear scan register allocation on SSA
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·1d
🧪RISC-V Fuzzing
Almost done building 1130 core memory replacement MRAM board
rescue1130.blogspot.com·9h·
Discuss: rescue1130.blogspot.com
🗃️Punch Card Recovery
What Is the Luhn Algorithm? The Math Behind Secure Credit Card Numbers
scientificamerican.com·1d
🎯Arithmetic Coding Theory
Faster Reed-Solomon Erasure Coding in Java with Go & FFM
reddit.com·1d·
Discuss: r/golang
🔧Reed-Solomon Decoding
Total Pixel Space
blog.computationalcomplexity.org·10h·
Discuss: blog.computationalcomplexity.org
🌀Fractal Compression
Complex behaving Hardware with CircuitPython - Part II
hackster.io·1d
⚡Circuit Design
Hyperdimensional Molecular Logic for Multi-Disease Biomarker Signature Analysis
dev.to·1d·
Discuss: DEV
🧬Palindrome Codes
Comparison of Generic Container Libraries for C
github.com·16h·
Discuss: Hacker News
💧Liquid Types
Great Ideas in Theoretical Computer Science
ocw.mit.edu·9h·
Discuss: Hacker News
🧮Theoretical Computer Science
Updates!
scottaaronson.blog·6h
🌳Context free grammars
Mathematician Finds Easier Way to Solve Quadratic Equations
popularmechanics.com·17h
🔢Reed-Solomon Math
Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning
arxiv.org·3h
🧠Machine Learning